Data types - PDFSEARCH.IO - Document Search Engine

Data types
Results: 6238

#	Item
701	Chapel Language SpecificationCray Inc 411 First Ave S, Suite 600 Seattle, WA 98104 Chapel Language Specification Add to Reading List Source URL: chapel.cray.com Language: English - Date: 2014-09-18 19:18:46 C++ Data types Cross-platform software Procedural programming languages C programming language C Iterator Array data type Array data structure Computing Computer programming Software engineering
702	Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study Sebastian Burckhardt, Rajeev Alur, and Milo M.K. Martin Department of Computer Science University of Pennsylvania {sburckha, alur, m Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-12-21 11:42:39
703	Ur: Statically-Typed Metaprogramming with Type-Level Record Computation Adam Chlipala PLDI 2010 Strength of Guarantee Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2012-09-05 20:22:17 Data management Programming paradigms Data types SQL Metaprogramming Type system Computing Relational database management systems Software engineering
704	PUBLISHED IN: PROCEEDINGS OF THE ACM SIGCOMM INFORMATION CENTRIC NETWORKING (ICN) WORKSHOPSupporting Diverse Traffic Types in Information Centric Networks Add to Reading List Source URL: mm.aueb.gr Language: English - Date: 2012-04-21 05:24:28 Internet protocols Streaming Computer networking Data transmission IP multicast Packet switching Packet loss Traffic flow Network packet Computing Network architecture Data
705	Definition of 3D mesh format used in Anatomist Yann Cointepas May, 19thIntroduction This document describes the main format used by BrainVISA and Anatomist to represent surfaces (composed of polygons such as tria Add to Reading List Source URL: brainvisa.info Language: English - Date: 2013-11-18 14:21:42 ASCII Data types 3D computer graphics Ar String Endianness Text file Computing Computer file formats Character encoding
706	ForSpec ForSpec Reference Manual June 24, 2001 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2007-06-26 03:17:52 C programming language Data types Boolean algebra FO Finite model theory C syntax C Enumerated type Bit array Computing Computer programming Software engineering
707	Computational Effects across Generated Binders Part 1: Problems and solutions Yukiyoshi Kameyama Oleg Kiselyov University of Tsukuba Add to Reading List Source URL: okmij.org Language: English - Date: 2011-12-02 22:36:27 Data types Procedural programming languages Type theory Program analysis Type system Generator C Anonymous function List comprehension Computing Software engineering Computer programming
708	Camlidl user’s manual Version 1.02 Xavier Leroy INRIA Rocquencourt July 30, 2001 Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2001-07-30 11:37:08 C programming language Data types C++ Procedural programming languages Functional languages Typedef Pointer C Struct Software engineering Computing Computer programming
709	Christian Grothoff COMP 2355 Introduction to Systems Programming Christian Grothoff Add to Reading List Source URL: grothoff.org Language: English - Date: 2011-06-21 07:45:45 C programming language C++ C Standard Library Sizeof Data types Arrays C Pointer Printf format string Computing Computer programming Software engineering
710	2013 IEEE Symposium on Security and Privacy Circuit Structures for Improving Efﬁciency of Security and Privacy Tools Samee Zahur and David Evans University of Virginia [samee, evans]@virginia.edu Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2013-04-05 19:56:51 Abstract data types Electronic engineering Stack Computational complexity theory Circuit Electronic circuit Secure multi-party computation Boolean circuit Lookup table Computing Theoretical computer science Electronics

UPDATE